Mass change of the Antarctic ice sheet inferred from ICESat and CryoSat-2