Books about Mining Industry of Japan During the Last Twenty Five Years