NJ casino revenues down 3.6 percent in July