Tutte's Characterization of Binary Matroids