Navier-Stokes Problems Modeled by Evolution Hemivariational Inequalities