On the Weak Solutions to Steady-State Mixed Navier—Stokes/Darcy Model