how much stomach is removed gastric sleeve