Explicit results for the distributions of queue lengths for a non-preemptive two-level priority queue