Guaranteed minimum income benefit valuation via a numéraire transformation approach | Synapse