US producer prices soar 9.7% in December, highest on record