Sequencing and scheduling appointments on multiple servers with stochastic service durations and customer arrivals