A working vacation queue with priority customers and vacation interruptions. (1st January 2013)