How leading DSOs are getting the most from mathematical optimisation