Refilling of carbon dioxide fire extinguishers