Boost.org date_time module