SEMUT: Next Generation Public Transportation Architecture in the Era IoT and Big Data