Differentiable ANCF-Based Kinematic Modeling of Soft Pneumatic Robots for Design Optimization