Concurrent priority queue based on skip-list