What is the difference between stored-pressure and cartridge-operated extinguishers?