Serum total cholesterol concentration and 10-year mortality in an 85-year-old population