KAUST scientists win prestigious Gauss Award for supercomputing excellence