Lie Models in Topology