dining philosophers in go