On optimal game-tree search using rational meta-reasoning