A Generalised Quantifier Theory of Natural Language in Categorical Compositional Distributional Semantics with Bialgebras