Pension Funds with a Minimum Guarantee: A Stochastic Control Approach