Permanent cardiac pacing after the Fontan procedure