Improved discrete element modeling for proppant embedment into rock surfaces