Finite index subgroups in profinite groups