Product design in profit sharing life annuity systems