Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing