Liouville-type theorems for steady solutions to the Navier-Stokes system in a slab