History in the mathematics classroom