US shale oil production to reach 9 million bpd by 2025 – McKinsey