Read-once Branching Programs, Rectangular Proofs of the Pigeonhole Principle and the Transversal Calculus