Stav dette: The measurement of productive efficiency: techniques and applications