تشییع آیت‌الله علی خامنه‌ای؛ مراسمی کم‌سابقه برای رهبر فقید ایران