HP laying off employees working on webOS