Surgically reducing size of stomach