Analyzing, Detecting, and Fixing Policy Anomalies Using Policy Analyzer and Optimizer