Is there a way to measure time accurate to milliseconds? For example, by calling the time.time() function I get seconds. Is there a comparable function that I could use to measure interval times down to at least millisecond accuracy? Thanks.