A Mysql function to return a working time elapsed from two dates, giving the begin and the finish of work time.