Provably and Practically Learning Topic Models