20190816 business.india-business: GE Digital lays off some employees in India