Modelling of DNA mismatch repair with a reversible process calculus