Text this: Norwegian Mathematics Teacher Educators' and Research Mathematicians' Views on Different Aspects of Mathematical Definitions