SAD: State machine-based Anomaly Detection in User Behavior