OPEC oil output jumps to 2017 high as Nigeria, Libya pump more