Model-Oriented Tracing Language: Producing Execution Traces from Tracepoints Injected into Code Generated from UML Models