Rigorous Derivation of the Gross-Pitaevskii Equation with a Large Interaction Potential