Ibn al-Nafis and the discovery of the pulmonary circulation