The Arcade Game AI (ARCADEAI)