Tax-farming policy and resource allocation in past Islamic societies