Practical considerations in the training of miners on rock bolting