The residual finiteness of the groups of classical knots