Text this: Possibilities of using immersive learning based on abstract highly formalized mathematical models for training future mathematics teachers