Is There an Actual Mitzvah to Rest on Shabbos?