Wie viel Energie wurde in Portugal 2010 produziert?