Optimal regulation under imperfect enforcement: Permits, tickets, or both?. (6th February 2020)