A wave-model-based refinement criterion for adaptive-grid computation of compressible flows