Benin sends 800 troops to fight Boko Haram