Environmental regulation: choice of instruments under imperfect compliance