Tutte's Characterization of Regular Matroids by Totally Unimodular Matrices