Dining philosophers problem using semaphore and fork