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