Rocks and minerals and their exploitation