A model for analysing the transition to formal proofs in geometry