Pioneer's $6.4 billion deal for DoublePoint accelerates U.S. shale oil consolidation