Applying Stochastic Programming to the US Defined Benefit Pension System