Text this: Analisis portofolio optimal saham syariah menggunakan metode lexicographic goal programming (LGP) dengan pendekatan value at risk (var) generalized pareto distribution (GPD)