A cloud-based approach to dynamically manage service contracts for local public transportation