Gigantic kites flown by robots could harness Mars's strong winds and power human colonies