System Engineering Analysis of Terraforming Mars with an Emphasis on Resource Importation Technology