Gate sizing using Lagrangian relaxation combined with a fast gradient-based pre-processing step