Grain-scale analysis of proppant crushing and embedment using calibrated discrete element models