The structure of the holliday junction, and its resolution