Using a dominance criterion to select a human development index