Optimal algorithms for Gaussian elimination on an MIMD computer