The characterization of graphs with largest Laplacian eigenvalue at most 4