Water extraction on Mars for an expanding human colony. (November 2015)