Properties of carbon films produced from polyimide by high-energy ion irradiation