How long does it take for humans to colonize another planet?