Who was the leading run-scorer in one-day internationals before Sachin Tendulkar took the record?