Category-Theoretic Quantitative Compositional Distributional Models Of Natural Language Semantics