A computational model of Tower of Hanoi problem solving