Rigorous Derivation of the cubic NLS in dimension one