The principle of no compulsion in Islam