Gravar-mail: À descoberta de software para explorar a programação linear no ensino secundário