9 آذر؛ روز بزرگداشت شیخ مفید