Optimal multi-line bus dispatching at terminals with electric charging scheduling constraints