Split off product_mixture.cc from product_mixture.hpp