The application of social media in the mining industry