Monte Carlo simulation of a TEPC for microdosimetry of carbon ions