Sonatrach records $18.5 billion in crude revenues in 2001