Holonomic Summation in Difference Rings