Programas para Modelagem de Situações para o Ensino de Física