Tightly Secure Encryption Schemes against Related-Key Attacks