The Quantization of Classical Non-Holonomic Systems