Rework format_time() to display hours greater than 24