High-Order Models in Semantic Image Segmentation