Understanding XTS-Plain64 in Disk Encryption