Utilitarianism, happiness, and the use of pleasure