COAL: a generic modelling and prototyping framework for convex optimization problems of variational image analysis