The key role of Ohio's "pivot" counties in the 2020 election