Miami GP sets F1 record for a live US television audience