Application of approximating algorithms to boolean matrix multiplication