Delivery or curbside pickup?: What is better for Denver restaurants during the COVID-19 crisis