This Is How Many People You’d Need to Colonize Mars, According to Science