Concurrent queue based on skip-list