Selecting Syntactic, Non-redundant Segments in Active Learning for Machine Translation