Linear Lambda Calculus and Deep Inference