An agent-based model to simulate the boosted Sterile Insect Technique for fruit fly management