Describir: Lightweight Hash Function Design for the Internet of Things: Structure and SAT-Based Cryptanalysis