Producer and consumer with Semaphores