Uses of video in understanding and improving mathematical thinking and teaching