Implemented a time_in_milliseconds() function for C++11.