Operation and maintenance of earth-moving machinery - Specification for service tools. Mechanical pullers and pushers