Envoyer par SMS: Využitie matematického softvéru pri riešení optimalizačných úloh v poistení