Analysis of a finite buffer variable batch service queue with batch Markovian arrival process and server’s vacation · Study