Trump-backed Mike Mazzei wins Oklahoma GOP governor primary runoff