Use C++11 Mersenne twister for random number generation