Implement SOS1 bridges for min/max

For instance, based on https://yetanothermathprogrammingconsultant.blogspot.com/2020/01/how-to-model-yminx1x2.html

Different from #11: this issue is only about MIP solvers, while #11 is for CP solvers.