Structural basis of tubulin detyrosination