HP decimates its work force