Integrated charging infrastructure planning and charging scheduling for battery electric bus systems