How COVID-19 could impact hospitality design: the distributed restaurant