State-Transition modelling of classical swine fever to evaluate national identification and recording systems — General aspects and model description