Interactive Theorem Proving - Modelling the User in the Proof Process