Leveled-Commitment Contracting: A Backtracking Instrument for Multiagent Systems