Which of the following wrote Hisab al-jabr w'al-muqabala?