A constraint-based search algorithm for parameter identification of environmental models