REM sleep favors the restructuring of problem-related semantic associations | Synapse