Describir: A convergence proof for local mode filtering