military time has twentyfour hours