How is high cholesterol treated?