Total kinetic energy in four global eddying ocean circulation models and over 5000 current meter records