Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications