A Model of Mortgage Default