Advances and challenges in modeling high-speed turbulent combustion in propulsion systems