Stochastic Dynamic Programming of Air Conditioning System under Time-varying Passenger Condition for Electric Bus. (December 2016)