US crude oil output rises in June to highest since Feb 2020 -EIA