Lateral diffusion of saturated phosphatidylcholines in cholesterol-containing bilayers