如何编写Python代码实现哲学家就餐问题的实例?