Retraining opportunities for miners who have been made redundant