A Practical Algorithm for Topic Modeling with Provable Guarantees | Synapse