ECCO version 4: an integrated framework for non-linear inverse modeling and global ocean state estimation | Synapse