The decoration of the Fakhr al-Dīn mosque in Mogadishu and other pieces of Gujarati marble carving on the East African coast