residual current-operated protective device