Happiness Quantified: A Satisfaction Calculus Approach