Implications of the work of Popper, Polya, and Lakatos for a model of mathematics instruction