The life and work of al-Farabi