Provable Tensor Factorization with Missing Data