US job openings decline to 11.25M in May