title: Extract time with milliseconds from character vector
body: <p>I have a data base with time column in the format of dd/mm/yy hh:mm:ss:milliseconds.
  example: 09/08/22 09:51:59:195</p>
  <p>How do I extract the time from this into a new vector?</p>