A Survey on Product Operators in Abstract Interpretation