procedure for coal mining execution