Characteristic Lie rings of nonlinear PDE