Self-quenching streamer-tube detectors in the WA80 experiment