Permian oil output forecast to hit record high in June -EIA