Developing the format_timestamp() helper function