Selective mapping: a discrete optimization approach to selecting a population subset for use in a high-density genetic mapping project