A model of the chemical processes occurring in CF4/O2 discharges used in plasma etching