MySQL UDF microtime