An Effectiveness Metric for Ordinal Classification: Formal Properties and Experimental Results