Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies