Benchmarking and timing utilities (C++11)