Semaphores: availablePermits()