What math professors and k-12 teachers think of each other