Model Dinamik SEARQ dan Penerapan Kontrol Optimal Pada Permasalahan Kecanduan Media Sosial