Workforce scheduling in service industry