A stochastic programming model for asset liability management of a Finnish pension company