How to use symforce to generate marginalization prior factors? In ther words, how to use symforce to add marginalization factors to the optimizer?