Added precondition documentation for PBKDF2