Quando a cidade se emancipou, foi preciso mudar o nome de "Cerro Grande" para "Cerro Grande do Sul". Por que essa mudança de nome foi necessária?