Cross-validation of the MEDEAS energy-economy- environment model with the integrated MARKAL-EFOM system (TIMES) and the long-range energy alternatives planning system (LEAP)