Describir: Optimal Allocation with Ex Post Verification and Limited Penalties.