האם מותרת שינת עראי בבית מדרש?