Title: The place of the technical college in mining education