How Robotics is Changing the Oil and Gas Industry: Types, Applications, and Trends