Joint-survival annuity derivative valuation in the linear-rational Wishart mortality model | Synapse