Tables and formulae for the computation of life contingencies;