springfield is part of ohio