Search-Based Automated Play Testing of Computer Games: A Model-Based Approach