Ohio by the numbers