Is PBKDF2 with HMAC-SHA at 512 bits encryption, in line with NIST / FIPS recommendations?