Research Status of Lava Tube Exploration in the Solar System