Global sediment thickness data set updated for the Australian‐Antarctic Southern Ocean. (28th August 2013)