Lucas Hernandez funeral set for June 30: What you need to know