מתי מלך שמעון החשמונאי, היכן הוא מוזכר ועל מה הוא ידוע?