From Deep Inference to Proof Nets