The effect of zoning on the size of metropolitan areas