Fire extinguishing techniques