Testing global ocean carbon cycle models using measurements of atmospheric O2 and CO2 concentration