A database of global seismic travel times