How long should teachers work before receiving tenure?