Theoretical background on the modelling of policy instruments in energy system models. Report on Work Package A of the ETSAP Project “Integrating policy instruments into the TIMES Model”