Dynamic educational environments, teacher training in dynamic mathematical software, inquiry-based learning in mathematics