Semi-Group Theory for the Stokes Operator with Navier-Type Boundary Conditions on Lp-Spaces