Development of server energy efficiency over the past decade