Floated by Carl Sagan in the 1970s, terraforming Mars has been relegated to the pages of science fiction. But could it work?