Models of Modals (From Pragmatics and Corpus Linguistics to Machine Learning)