The CEO of SpaceX and Tesla really wants to go to the red planet.