Lie groups from a homotopy point of view