Implementing random number generation with C++11 engines and distributors