PaveFormer A Multi-modal Pavement Distresses Segmentation Model with Diffusion-based Data Augmentation