Connecting Research to Teaching: Making Better Use of Computer Tools in Geometry