A Formal Economic Theory for Happiness Studies