The ModelCC Model-Based Compiler Compiler