A Vision-Transformer-Based Convex Variational Network for Bridge Pavement Defect Segmentation | Synapse