principles and practices of modern coal mining r d singh