A shape-constrained arc-length reformulation for sequential convex programming in hypersonic reentry trajectory optimization