Optimization of headway, stops, and time points considering stochastic bus arrivals