Pension funds with a minimum guarantee : a stochastic control approach