Lagrangian relaxation-based lower bound for resource-constrained modulo scheduling