US producer prices soar 9.6% in November, highest on record