Reverse Stackelberg Games: Theory and Applications in Traffic Control