Memoir and map localities of minerals of economic importance and metalliferous mines in Ireland