Smart City Platform: A Comprehensive System for Spatial Data Infrastructure