Mike Mazzei projected winner in Oklahoma Republican gubernatorial primary run off