Introduction to underground coal mining methods : longwall and shortwall.