what is the size of ohio