Ohio casino revenue rises 5.5% to $93.9 million in August