Validação e formatação de número telefonico no formato brasileiro usando python e regex