Design and implementation of an NMPC-based green light optimal speed advisory for buses: A simulation platform | Synapse