Practice-based teacher development in its mathematical context: Lessons and their representations in approximations of practice