US casino revenue up nearly 5 percent in 2012