Some workers who are quitting and driving the Great Resignation are bored. One HR executive says workplace automation tools can keep workers engaged.