Large lot zoning, property taxes, and metropolitan area