Skylight: A tethered micro-rover for safe semi-autonomous exploration of lava tubes