Formalizing best practice for energy system optimization modelling by DeCarolis, J, Daly, H, Dodds, P, Keppo, I, Li, F, McDowall, W, Pye, S, Strachan, N, Trutnevyte, E, Usher, W, Winning, M, Yeh, S, Zeyringer, M