Effect of gallbladder mucin on the crystallization of cholesterol in bile