US Senate OKs William Barr to be attorney general