Using an automatic elevator on Shabbos