Is Colonizing Mars the Most Important Project in Human History?