Trade and Civilisation in the Indian Ocean: An Economic History from the Rise of Islam to 1750