Concise integer linear programming formulations for dependency parsing | Synapse