EIA: US Crude Oil Production Hit Record High In November