A concurrent, lock-free, ordered set data type based on skip lists