principles and practices of modern coal mining