Steady-state analysis of a discrete-time batch arrival queue with working vacations · Study