can someone explain the main differences between XEL, GNT and espicially SONM. As far as i understand XEL is the only one with a working product till now? But what is difference bewtween the usecases of thes supercomputers?