Petroleum and natural gas industries. Drilling and production equipment - Part 1:Design and operation of marine drilling riser equipment