what should people with high cholesterol eat