Decomposition of Vector-Valued Divergence Free Sobolev Functions and Shape Optimization for Stationary Navier–Stokes Equations