A comparative study of Jafari school and four theology schools of jurisprudence regarding the penal laws and their implementation in Indonesia