Level-$k$ Mechanism Design