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