Energy-efficient Optimisation for Data Centres Funded by the Lancaster University energy-optimisation compiler mobile-computing runtime