The coal mining museum of Slovenia