Asset-liability management for with-profit life insurance policies: A novel multi-stage stochastic programming model | Synapse