An evolutionary theory of dreams and problem-solving