Seasonal variation in serum cholesterol levels in health screening populations from the U.K. and Japan