Discrete-element analysis and constitutive model for coal with predefined voids | Synapse