rio de janeiro is part of brazil