A deep inference system with a self-dual binder which is complete for linear lambda calculus