De jure and de facto property tax rates in large US cities | Synapse