Getter for ThreadPool