Compositional distributional semantics with compact closed categories and Frobenius algebras