Problem-solving benefits of down-sampled lexicase selection