Automatização de cálculos financeiros comuns associados ao Comércio Internacional por meio de linguagem simbólico-matemática