OptIForest: Optimal Isolation Forest for Anomaly Detection