U.S. shale oil output to rise to record 8.52 MMbpd in July