North Korea TV shows video of ballistic missile launch