Text this: The Formal Model for the hoverfly Eristalis tenax (Diptera, Syrphidae) agent-based model in the Animal Landscape and Man Simulation System (ALMaSS)