Machine learning could help find Martian caves for future hu