Reversible Process Calculus and the Modelling of the ERK Signalling Pathway --