Colonizing Mars may require humanity to tweak its DNA