Operational quantization of dynamical systems subject to second class constraints