Shariah-compliant home financing models including diminishing musharakah, murabaha, and ijarah, and how they avoid interest.