Winning 4x4x4 tic-tac-toe by consulting an oracle