Tweakable Ciphers: Constructions and Applications