Adding API function hpx::get_num_worker_threads()