Text this: Ibn Khaldun: his life and work