Measuring social functions of city regions from large-scale taxi behaviors | Synapse