Brazil army takes over of Rio de Janeiro