(English) Video: Introducing Mining Fans: Understanding the Applications of Main Fans and Auxiliary Fans in Mining Environments