Can You Use Your 401(k) to Buy a House? What the Generic Advice Won’t Tell You