Necessary and Sufficient Conditions and a Provably Efficient Algorithm for Separable Topic Discovery