In PHP what is the use of microtime() function. For what purpose and in what scenario one uses the function microtime() in their application.