Guiding the generation of counterfactual explanations through temporal background knowledge for Predictive Process Monitoring