On the quantization of reducible gauge systems