Noncommutative proof nets