Enviar por SMS: À descoberta de software para explorar a programação linear no ensino secundário