Text this: Comparing different types of instructional videos in a flipped proof-based classroom