how fast should a boxer run a mile