Ritt's polynomial decomposition theorem