added three different solutions to the famous dining philosophers problem