Explorers have deployed planes, satellites, ships, tractors, even dog-drawn sleds to get this data, using a variety of techniques including ice-penetrating radar, laser altimetry, seismics, gravimetry, and sonar. Essentially, every tool in the box. It's a stunning achievement.