Level Set Evolution Without Re-initialization: A New Variational Formulation