Add section of products of finite-dimensional Markov processes

[worden-lee]

This is well underway thanks to @tcporco. Probably want to move the more technical parts to an appendix, fill in the missing pieces.