U.S. shale oil output to drop 139,000 bpd to 7.51 million bpd in December