The mobile Drilling Information System (mDIS) for core repositories