Dallas mayor switches from Democrat to Republican