Identifying drivers and mitigators for congestion and redispatch in the German electric power system with explainable AI