Velox: A composable and extensible C++ execution engine library