A Comparison of Models and Approaches to Model Predictive Control of Synchronous Machine-based Microgrids