A Practical Algorithm for Topic Modeling with Provable Guarantees