A proof of total dual integrality of matching polyhedra