European day-ahead electricity market coupling: Discussion, modeling, and case study