first version of dining philosophers