Urban migration, household type, and housing supply