Design , staffing and control of large service systems : The case of a single customer class and multiple server types