Is tenure for teachers a good or bad thing?