Shift hours

Total each employee's worked time from a list of shift records and rank the employees by it.

Each record is a string "name HH:MM-HH:MM": an employee name, one space, then the start and end time of one shift on a 24-hour clock. If the end time is earlier than the start time, the shift ends on the following day (it crosses midnight). If the end time equals the start time the shift is empty and counts as 0 minutes. A shift is never longer than 24 hours.

Names are case-insensitive: Ana and ana are the same employee, and employees are reported in lowercase. Add up the minutes of all of an employee's shifts.

Input: records, a list of strings in the format above.

Output: a list of strings "name H:MM", one per employee whose total is greater than 0. H is the total hours written without padding (it can exceed 23) and MM is the remaining minutes always written with two digits, for example "ana 9:05". Sort by total minutes descending; employees with equal totals are ordered by name in ascending lexicographic order. If nobody has worked any time, return [].