Describir: Využitie programu Maxima v niektorých aktuárskych modeloch