A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency