Industry, mining and tools in heraldry