Provable Algorithms for Inference in Topic Models