MINES: Explainable Anomaly Detection through Web API Invariant Inference