dining philosophers problem in python