Specifying, detecting and analysing emergent behaviours in multi-level agent-based simulations