A note on time-indexed formulations for the resource-constrained project scheduling problem