library for petroleum engineering books