Exploring initial challenges for green software engineering: summary of the first GREENS workshop, at ICSE 2012