Cray Inc. replacing IBM to build UI supercomputer