Premise Selection in Natural Language Mathematical Texts