Refrigerant gas leak detection