An exact solution approach for an electric bus dispatch problem