U.S. employers pick up pace of hiring in May: Labor Department JOLTS survey