Stochastic House Appreciation and Optimal Mortgage Lending