Comparing two types of model progression in an inquiry learning environment with modelling facilities