Algorithmic simplification of knot diagrams: new moves and experiments