use ISO 8601 format in time_tag helper

Fix for #9333