A theoretical derivation of the Hoek–Brown failure criterion for rock materials | Synapse