Realising Synthetic Active Inference Agents, Part I: Epistemic Objectives and Graphical Specification Language