An Option Based Model of Rational Residential Mortgage Default | Synapse