Oklahoma’s governor picks energy executive Alan Armstrong to fill US Senate seat through end of year