Use of Genetic Programming to Evaluate Proctor Properties of Compacted Soils