Branch-width, parse trees, and monadic second-order logic for matroids