Ḥasdaʼi, Eliyahu (ʻAmram) ben Daṿid ha-Leṿi