Global trends in the production and use of DDT for control of malaria and other vector-borne diseases