How Big Are the Oil Sands?