A review of mixed-integer linear formulations for framework-based energy system models | Synapse