Performance analysis of a multiplexer with priority queues and correlated arrivals