Al-Ijarah Al-Mawsufah fi Al-Dhimmah: theory and applications