Semi-Supervised and Latent-Variable Models of Natural Language Semantics