Lobsters: Concept-Based Generic Programming in C++