司马光, 胡三省