Coros Pace 3 vs Garmin Forerunner 255: What is the difference?