Text this: Modelling malignant progression with a finite state machine supports a two checkpoint theory of cancer