Body mass index, serum total cholesterol, and risk of gastric high-grade dysplasia