Rigorous derivation of the cubic NLS in dimension one