⅋ Means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional Programs