Profinite Groups and Residual Finiteness