How Long to Boxing Matches Go: Rounds, Timings, and More!