The methodology of data envelopment analysis