convert time format to string using iso8601