The Mars Trilogy – and especially Red Mars – has to be some of the best hard sci-fi ever written.