Designing a Smart Transportation System: An Internet of Things and Big Data Approach | Synapse