Gun battle between gang members and police kills 12 in Rio de Janeiro