Forcing and the Continuum Hypothesis