Inference with Linear Constraints for Natural Language Tasks