[boost] Getting a xsd:datetime from boost::date_time