Strong separations of the polynomial hierarchy with oracles : constructive separations by immune and simple sets