A comprehensive characterization of NLP techniques for identifying equivalent requirements