[boost] date_time formatting