A Probabilistic Framework for Mutation Testing in Deep Neural Networks