Wall-modeled compressible large-eddy simulation of the canonical shock-turbulent-boundary-layer interaction.