Accurate Parsing with Compact Tree-Substitution Grammars: Double-DOP