Text this: Tree-width for first order formulae