Formal Tasks and Metrics in Data Mining on the Basis of Measurement Theory