Natural deduction for intuitionistic linear logic