Some Excluded-Minor Theorems For Binary Matroids