Washington Times to launch digital edition to serve its growing national audience across platforms