How Do We Know How Much Sea Ice There Is?