Elastic: to cut workforce by about 7%