What treatments are available for high cholesterol?