Lateral diffusion, flip-flop, and lipid raft formation in a phospholipid bilayerTemperature and cholesterol drive Lo/Ld phase separation — proteins partition into rafts