Mapping synergies and trade-offs between energy and the Sustainable Development Goals