Safety of machinery. Electro-sensitive protective equipment. Passive infra-red protective devices (PIPDs)