The modelling of positron emitter production and PET imaging during carbon ion therapy.