Discrete-time single-server finite-buffer queues under discrete Markovian arrival process with vacations · Study