Contact-Implicit Trajectory Optimization Based on a Variable Smooth Contact Model and Successive Convexification