get time with milliseconds with lua