Shallow Water Model for Lakes with Navier slip boundary condition