A Differentiable Relaxation of Graph Segmentation and Alignment for AMR Parsing