Phase-type representations of stochastic interest rates with applications to life insurance