The GALS Transformation Language