Snap4City: A big data platform for smart cities