Compressible Navier-Stokes Equations: Theory and Shape Optimization