A Comparison of Variety Metrics in Engineering Design