Columbus Dispatch launches innovative new print format: still a broadsheet, but about a third shorter