educational videos on how does mining and quarrying takes place