Parallel priority queues based on binomial heaps