On Product And Sum Decompositions Of Sets: The Factorization Theory Of Power Monoids