The mathematically optimal Wordle strategy