The Linear Logic of Multisets