IS 13295: Code of practice for manufacture of leather safety boots and shoes for workers in mines and heavy metal industry Bureau of Indian Standards