Dining philosophers problem using mutex