Modeling Language Variation and Universals: A Survey on Typological Linguistics for Natural Language Processing