Petroleum and natural gas industries. Glass-reinforced plastics (GRP) piping. - Vocabulary, symbols, applications and materials