The safety device which normally stops a running refrigeration compressor before the relief valve starts to open is known as what?