Implement more Reformulation Methods

[hdavid16]

https://www.sciencedirect.com/science/article/pii/S0098135415000587

[pulsipher]

Expanding on the original issue, some reformulations that would be nice to implement include:

• Improved big-M (https://www.sciencedirect.com/science/article/pii/S0098135415000587)
• P-Split (https://arxiv.org/abs/2202.05198)
• Cutting-plane (https://doi.org/10.1016/S1570-7946(03)80444-3)

Pyomo.GDP implements quite a few more: https://github.com/Pyomo/pyomo/tree/main/pyomo/gdp/plugins