Regex in python for time format followed by comma and three digits