Specifying Aggregation Functions in Multidimensional Models with OCL