World coal exploration and development