Defined Benefit Obligation Formula