Musk gave a lecture to SpaceX employees on the colonization of Mars