Allegheny Health to convert former hospital campus into tech innovation hub: 5 details