DEM simulation on random packings of binary tetrahedron-sphere mixtures