Ohio's decade-old gerrymander still performed exactly as the GOP intended in 2020