Strong Activity Rules for Iterative Combinatorial Auctions