What function can be used to convert a column of Standard Time to a column of Military Time in Excel? Is it a formula or formatting?