Missing University of Notre Dame student’s body found in lake