Negative equity and foreclosure: Theory and evidence