Vayakhel: The Origin of Cholent and the Mitzvah to Eat It