Can (and should) you use your 401(k) to buy a house?