SERVER-9648 Change type of date export in csv to include milliseconds