The Pact of Umar, and the status of non-Muslims in Muslim lands