פירושי הרב דוד צבי הופמן – ספר שמות