Biotechnology in Mining – integration of new technologies into educational practice