Scalable Semantics-Based Detection of Similar Android Apps: Design, Implementation, and Applications