Cholesterol and mental health