Managing trade-offs in call center agent scheduling: methodology and case study