Is opm annuity a lifetime benefit