Efficient Non-deterministic Search in Structured Prediction: A Case Study on Syntactic Parsing