A stochastic simulation procedure for pension schemes