How does the ​GDP​ of Ireland compare to the ​GDP​ of the United Kingdom based on this map of European countries color coded based on ​GDP​?