Atlantic City casino revenue down 12.6 percent