The CORAL supercomputer systems