شیخ حسن بن یوسف حلی مشهور به »علامه حلی«