Modelling and optimization of cryogenic mixed-refrigerant cycles for the cooling of superconducting power cables | Synapse