A review on the progress of sex-separation techniques for sterile insect technique applications against Anopheles arabiensis