Provably Valid and Diverse Mutations of Real-World Media Data for DNN Testing