Heath-Jarrow-Morton modelling of longevity bonds and the risk minimization of life insurance portfolios