Path Channels and Plan Extension Kernels: a Mechanistic Description of Planning in a Sokoban RNN