Oil prices dip as US crude output hits record 12 million barrels per day