Mechanism design / queueing theory for government to sell visas — LessWrong