An exact solution approach for an electric bus dispatch problem. (December 2021)