Steady-state thermodynamics for heat conduction: microscopic derivation.