Modeling operational efficiency in US casinos through data envelopment analysis | Synapse