Górnictwo ropy naftowej