Reframing the Expected Free Energy: Four Formulations and a Unification