Text this: A comparative analysis of MIP formulations for the multi-mode resource-constrained independent task scheduling problem