See how Ronald Acuña Jr.'s 40-40 2023 season compares to the all-time best seasons for leadoff hitters