Environmental impact of tsetse eradication in Senegal