revenue equivalence theorem