Provably Efficient Algorithms For Numerical Tensor Algebra