Lexicase-based Selection Methods with Down-sampling for Symbolic Regression Problems: Overview and Benchmark.