Texas oil reaches 3 million barrels per day milestone in May