Finite-time thermodynamic modelling and optimization for irreversible Maisotsenko-Atkinson, Dual and Miller cycles | Synapse