Humans have mapped a larger percentage of the surface of Mars than Earth’s seafloor. These 7 technologies are looking to change that.