Prices and Trading Volume in the Housing Market: A Model with Down-Payment Effects