Decentralized Spatial Decomposition for Traffic Signal Synchronization