The Impacts of a Smoking Ban on Gaming Volume and Customers' Satisfaction in the Casino Industry in South Korea