Optimal reinsurance programs for a portfolio of life annuities