add device properties getter to find the max number of threads that we can run on the GPU