Efficient and Practical Composition of Lock-Free Data Structures