Grammars Over the Lambek Calculus With Permutation: Recognizing Power and Connection to Branching Vector Addition Systems With States