an operating manual for the komatsu wa380 - 1 wheel loader