Globally Optimal Image Segmentation with an Elastic Shape Prior | Synapse