Astronauts could reach Mars in 2020