Efficient Symbolic Automated Analysis of Administrative Attribute-based RBAC-Policies