Valida e formata um número de telefone no padrão brasileiro com python e regex