UNICORN Framework: A User-Centric Approach Toward Formal Verification of Privacy Norms