Could we really terraform Mars?