Large-eddy simulation of shock-wave-induced turbulent mixing