How many philosophers may eat simultaneously in the Dining Philo