Lower and upper bounds for the resource-constrained modulo scheduling problem