Text this: Linear Optimization Models for Maj-3 and Maj-5 Exact Synthesis