Supporting the national statistical institute in measuring the contribution of small irrigation agriculture to the gross domestic product