Polycomb recruitment in X chromosome inactivation