Modelling malignant progression with a finite state machine supports a two checkpoint theory of cancer (BioDiscovery, 2012)