What it would actually take to get to Mars by 2020