EpiSpec: A formal specification language for parameterized agent-based models against epidemiological ground truth