Investigation on residual friction coefficient of rock surfaces under small and standard contact sizes and suggestion the application of tribometer to measuring it