RedTest: Towards Measuring Redundancy in Deep Neural Networks Effectively