Junction: Concurrent Data Structures in C++