Lava tubes on Earth, Moon and Mars: A review on their size and morphology revealed by comparative planetology