The supporting hyperplane optimization toolkit for convex MINLP