Is there an sql function to convert timestamp to epoch with millisecond precision?