GDP as a metric is about as bad as "lines of code" as a metric