Performance-Preserving Event Log Sampling for Predictive Monitoring