آیت‌الله علم‌الهدی قبل از انقلاب چه شغلی داشت؟