Automated Analysis of Semantic-Aware Access Control Policies: a Logic-Based Approach