Nested Weight Constraints in ASP