Formatting durations as HH:mm:ss instead of decimal seconds