زلزله تهران؛ اطلاعات رسمی از زمین‌لرزه‌ای که در تهران احساس شد