Two Facebook and Google geniuses are combining search and AI to transform HR