Theoretical Essence, Practical Dilemmas, and Implementation Approaches of Tacit Knowledge Explicitation in the Development of Digital Teaching Materials for Vocational Education