No-gap Second-order Optimality Conditions for Optimal Control Problems with a Single State Constraint and Control