Validation and Verification of the Simulation Model of a Photolithography Process in Semiconductor Manufacturing