Using hpx::get_num_worker_threads() to extract number of threads used