Provably Minimum-Length Conformal Prediction Sets for Ordinal Classification