Proof Nets for the Multimodal Lambek Calculus: From Theory to a Wide-Coverage Categorial Parser