Symbolic Fault Injection for Plan-based Robotics