Cancellation-free circuits: An approach for proving superlinear lower bounds for linear Boolean operators