Perhitungan value at risk dengan metode historical simultion, variance dan monte carlo simulation (comparative study : perusahaan-perusahaan yang terdaftar di Jakarta Islamic index)