Modules over a quantale and models for the operator $!$ in linear logic