How should a technician dispose of an empty inkjet printer cartridge?