A single-server queue with server vacations and a batch markovian arrival process