Gas alarm systems