Цахим шуудангийн бүртгэл: Языки моделирования