“The unit cost of running certain workloads on an IBM mainframe is 5 to 15 times cheaper than alternatives.”