What is the Biblical source for the mitzvah of Kiddush on Shabbat? Is Havdalah a Torah law, as well?