Equality Saturation for Tensor Graph Superoptimization