Ground mechanics in hard rock mining by Jeremic