Polyhedral approximation in mixed-integer convex optimization