Boy, 13, becomes first documented player to beat Tetris