Las Vegas Strip July revenue falls 15% to $709.3m