Add SHA-512 hash function