Exploiting Problem Symmetries in State-Based Planners