get number of hardware threads via C++11's std::thread::hardware_concurrency()