Hi, is there any way to query the current number of acquired tickets of a redis semaphore? Would be great for monitoring.