Islam and human capital in historical Spain