Othello is Solved