Efficient state-space modularization for planning: theory, behavioral and neural signatures