Hard Science Drill, baby, Drill: What will we look for when we mine on Mars? It’s unlikely that there’s anything on the planet that is worth the cost of shipping it back