A computational study of exact approaches for the adjustable robust resource-constrained project scheduling problem