The Formal Model for the hoverfly Sphaerophoria scripta (Diptera, Syrphidae) agent-based model in the Animal Landscape and Man Simulation System (ALMaSS) (Food and Ecological Systems Modelling Journal, 2026)