A robust optimization approach to dispatching technicians under stochastic service times