An Exploration of Mars Colonization with Agent-Based Modeling